More from this Author

Modal Logic

by Maarten de Rijke, Patrick Blackburn, Yde Venema

Modal Logic

by Patrick Blackburn, Yde Venema, Maarten De Rijke, C. J. van Rijsbergen (Contribution by)

Finite Model Theory and Its Applications

by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Advances in Modal Logic

by Guido Governatori, Ian Hodkinson, Yde Venema

Multi-Dimensional Modal Logic

by Maarten Marx, Yde Venema